Constraint-Lambda Calculi
Identifieur interne : 002182 ( Main/Exploration ); précédent : 002181; suivant : 002183Constraint-Lambda Calculi
Auteurs : Matthias Hölzl [Allemagne] ; N. Crossley [Australie]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2002.
Abstract
Abstract: We introduce two forms of calculi that integrate constraint solving with functional programming. These are the Unrestricted, and the Restricted, Constraint-Lambda Calculi. Unlike previous attempts at combining constraint solving with lambda calculus, these are conservative extensions of traditional lambda calculi in terms of both term reduction and their denotational semantics. We establish a limited form of confluence for the unrestricted calculus and full confluence for the restricted one.
Url:
DOI: 10.1007/3-540-45988-X_17
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002F84
- to stream Istex, to step Curation: 002B21
- to stream Istex, to step Checkpoint: 001A49
- to stream Main, to step Merge: 002228
- to stream Main, to step Curation: 002182
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Constraint-Lambda Calculi</title><author><name sortKey="Holzl, Matthias" sort="Holzl, Matthias" uniqKey="Holzl M" first="Matthias" last="Hölzl">Matthias Hölzl</name></author><author><name sortKey="Crossley, N" sort="Crossley, N" uniqKey="Crossley N" first="N." last="Crossley">N. Crossley</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:C893E89EB0EFABAB33227121537E8D431A53F527</idno><date when="2002" year="2002">2002</date><idno type="doi">10.1007/3-540-45988-X_17</idno><idno type="url">https://api.istex.fr/document/C893E89EB0EFABAB33227121537E8D431A53F527/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">002F84</idno><idno type="wicri:Area/Istex/Curation">002B21</idno><idno type="wicri:Area/Istex/Checkpoint">001A49</idno><idno type="wicri:doubleKey">0302-9743:2002:Holzl M:constraint:lambda:calculi</idno><idno type="wicri:Area/Main/Merge">002228</idno><idno type="wicri:Area/Main/Curation">002182</idno><idno type="wicri:Area/Main/Exploration">002182</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Constraint-Lambda Calculi</title><author><name sortKey="Holzl, Matthias" sort="Holzl, Matthias" uniqKey="Holzl M" first="Matthias" last="Hölzl">Matthias Hölzl</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Institut für Informatik, Ludwig-Maximilians-Universität, Oettingenstraße 67, 80538, München</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Haute-Bavière</region><settlement type="city">Munich</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Crossley, N" sort="Crossley, N" uniqKey="Crossley N" first="N." last="Crossley">N. Crossley</name><affiliation wicri:level="1"><country xml:lang="fr">Australie</country><wicri:regionArea>School of Computer Science and Software Engineering, Monash University, 3800, Clayton, Victoria</wicri:regionArea><wicri:noRegion>Victoria</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Australie</country></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2002</date></imprint><idno type="ISSN">0302-9743</idno></series><idno type="istex">C893E89EB0EFABAB33227121537E8D431A53F527</idno><idno type="DOI">10.1007/3-540-45988-X_17</idno><idno type="ChapterID">Chap17</idno><idno type="ChapterID">17</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: We introduce two forms of calculi that integrate constraint solving with functional programming. These are the Unrestricted, and the Restricted, Constraint-Lambda Calculi. Unlike previous attempts at combining constraint solving with lambda calculus, these are conservative extensions of traditional lambda calculi in terms of both term reduction and their denotational semantics. We establish a limited form of confluence for the unrestricted calculus and full confluence for the restricted one.</div></front></TEI><affiliations><list><country><li>Allemagne</li><li>Australie</li></country><region><li>Bavière</li><li>District de Haute-Bavière</li></region><settlement><li>Munich</li></settlement></list><tree><country name="Allemagne"><region name="Bavière"><name sortKey="Holzl, Matthias" sort="Holzl, Matthias" uniqKey="Holzl M" first="Matthias" last="Hölzl">Matthias Hölzl</name></region><name sortKey="Holzl, Matthias" sort="Holzl, Matthias" uniqKey="Holzl M" first="Matthias" last="Hölzl">Matthias Hölzl</name></country><country name="Australie"><noRegion><name sortKey="Crossley, N" sort="Crossley, N" uniqKey="Crossley N" first="N." last="Crossley">N. Crossley</name></noRegion><name sortKey="Crossley, N" sort="Crossley, N" uniqKey="Crossley N" first="N." last="Crossley">N. Crossley</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002182 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 002182 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Musique
|area= MozartV1
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:C893E89EB0EFABAB33227121537E8D431A53F527
|texte= Constraint-Lambda Calculi
}}
| This area was generated with Dilib version V0.6.20. |  |